git pull
pull is one of git commands Traditionally, this has been equivalent to saying git pull origin. However, when configuration branch.<name>.remote is present while on branch <name>, that value is used instead of origin.
git config --get branch.master.remote とかで確認できる
If branch.<name>.merge configuration for the current branch <name> exists, that is the name of the branch at the remote site that is merged.
git config --get branch.master.merge
基本はこれに当てはまる気がする
pull したり push したりすると自動的に設定されるのかな?
git pull の引数なしは暗黙に引数が解決されることがある(多い?)
Pull force みたいなことをしたいとき
pull -f はない
fetchして、 reset するらしい
code:shell
git fetch origin master
git reset --hard origin/master